ecl-m3(a; snd; x; l)(k)
== let g = fpf-cap(snd; product-deq(Knd; IdLnk; Kind-deq; idlnk-deq); <k, l>; []) in
== let gmap((tr.spreadn(tr; tg,n,f.<tg, s,v. if a(n,k,s,v,s(x)) then f(s,v) else [] fi >));
== let gmap(fpf-cap(snd; product-deq(Knd; IdLnk; Kind-deq; idlnk-deq); <k, l>; [])) 

latex

Definitions	let x = a in b(x), map(f; as), spreadn(a; x,y,z.t(x;y;z)), x.A(x), if b then t else f fi , f(a), fpf-cap(f; eq; x; z), product-deq(A; B; a; b), Knd, IdLnk, Kind-deq, idlnk-deq, <a, b>, []
FDL editor aliases	ecl-m3